論理へのアプローチ 3.ifとiff